1
Géométrie des quatre sous-espaces fondamentaux
MATH004Lesson 4
00:00
Les quatre sous-espaces fondamentaux de toute matrice $A \in \mathbb{R}^{m \times n}$ n'existent pas en isolation ; ils sont géométriquement liés en paires de compléments orthogonaux. Cette « architecture orthogonale » est une condition préalable pour résoudre les systèmes inconsistants par projection et moindres carrés. Nous établissons que l'espace des lignes $C(A^T)$ est parfaitement perpendiculaire au noyau $N(A)$ dans $\mathbb{R}^n$, tandis que l'espace des colonnes $C(A)$ est perpendiculaire au noyau gauche $N(A^T)$ dans $\mathbb{R}^m$.

Définitions et orthogonalité

Pour comprendre la structure d'une matrice, nous devons d'abord définir ce que signifie que deux sous-espaces soient perpendiculaires. Il s'agit d'une condition bien plus stricte que l'orthogonalité simple entre vecteurs.

  • Orthogonalité des sous-espaces: Deux sous-espaces $V$ et $W$ d'un espace vectoriel sont orthogonaux si tout vecteur $v$ dans $V$ est perpendiculaire à tout vecteur $w$ dans $W$. Formellement : $v^T w = 0$ pour tout $v \in V$ et tout $w \in W$.
  • Le complément orthogonal ($V^\perp$): Le complément orthogonal d'un sous-espace $V$ contient tout vecteur qui est perpendiculaire à $V$. Il est noté $V^\perp$ (prononcé « V perp »).

Le théorème fondamental de l'orthogonalité

L'identité centrale de l'algèbre linéaire relie l'action matricielle à la géométrie de ses espaces :

Preuve de l'espace des lignes

Si $x$ appartient au noyau $N(A)$, alors $Ax = 0$. Cela signifie que le produit scalaire de chaque ligne de $A$ avec $x$ est nul. Puisque l'espace des lignes $C(A^T)$ est engendré par ces lignes, tout vecteur de cet espace doit être perpendiculaire à $x$.

$$x^T(A^T y) = (Ax)^T y = 0^T y = 0$$

Cela conduit à un équilibre élégant des dimensions. Dans $\mathbb{R}^n$, les dimensions se complètent toujours : $\dim(C(A^T)) + \dim(N(A)) = n$. De même, dans $\mathbb{R}^m$, on a $\dim(C(A)) + \dim(N(A^T)) = m$.

L'alternative de Fredholm

Une dualité structurelle existe où exactement un de ces problèmes admet une solution :

  1. $Ax = b$: Le vecteur $b$ appartient à l'espace des colonnes.
  2. $A^T y = 0$ avec $y^T b = 1$: $b$ possède une composante dans le noyau gauche, rendant le système inconsistant.
🎯 L'erreur classique : Deux murs
Deux murs dans une pièce semblent perpendiculaires, mais ils ne sont PAS des sous-espaces orthogonaux ! Ils partagent tous deux la ligne d'intersection. Puisqu'un vecteur sur cette ligne n'est pas perpendiculaire à lui-même ($v^T v \neq 0$), la définition stricte échoue. Deux plans dans $\mathbb{R}^3$ ne peuvent jamais être des sous-espaces orthogonaux.